projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3a2148) | patch
x86: serialize page table population in map_domain_page_global()
authorTim Deegan <tim@xen.org>
Tue, 9 Apr 2013 08:30:33 +0000 (10:30 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 9 Apr 2013 08:30:33 +0000 (10:30 +0200)
commit69b0fbfe6036516303a7058b0a182c925c3c56c8
tree165af8490f981351eee56e933e27766dabf86e62tree | snapshot
parentc3a2148192705592d38407ba9919eb1eb151a153commit | diff
x86: serialize page table population in map_domain_page_global()

Looking at map_domain_page_global, there doesn't seem to be any locking
preventing two CPUs from populating a page of global-map l1es at the
same time.

Signed-off-by: Tim Deegan <tim@xen.org>
xen/arch/x86/domain_page.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.